package tarantula.experiment.jdkutils;

import junit.framework.TestCase;

public class JDKFailedTestsSimpleTestBug1  extends TestCase {
	public void test1() throws Throwable {

	    java.lang.Byte var0 = new java.lang.Byte((byte)1);
	    java.util.List var1 = java.util.Collections.singletonList((java.lang.Object)var0);
	    java.util.TreeSet var2 = new java.util.TreeSet((java.util.Collection)var1);
	    java.lang.Long var3 = new java.lang.Long(10L);
	    java.lang.Boolean var4 = new java.lang.Boolean(true);
	    java.util.NavigableSet var5 = var2.headSet((java.lang.Object)var3, (boolean)var4);
	    java.util.SortedSet var6 = java.util.Collections.synchronizedSortedSet((java.util.SortedSet)var5);
	    
	    // Checks the contract:  var6.equals(var6)
	    assertTrue("Contract failed: var6.equals(var6)", var6.equals(var6));

	  }

	  public void test2() throws Throwable {

	    java.util.TreeSet var0 = new java.util.TreeSet();
	    boolean var1 = var0.add((java.lang.Object)var0);
	    java.util.SortedSet var2 = java.util.Collections.synchronizedSortedSet((java.util.SortedSet)var0);
	    
	    // Checks the contract:  var2.equals(var2)
	    assertTrue("Contract failed: var2.equals(var2)", var2.equals(var2));

	  }

	  public void test3() throws Throwable {

	    java.lang.Byte var0 = new java.lang.Byte((byte)1);
	    java.util.List var1 = java.util.Collections.singletonList((java.lang.Object)var0);
	    java.util.TreeSet var2 = new java.util.TreeSet((java.util.Collection)var1);
	    var2.clear();
	    java.util.SortedSet var4 = java.util.Collections.synchronizedSortedSet((java.util.SortedSet)var2);
	    boolean var5 = var2.add((java.lang.Object)var1);
	    
	    // Checks the contract:  var4.equals(var4)
	    assertTrue("Contract failed: var4.equals(var4)", var4.equals(var4));

	  }

	  public void test4() throws Throwable {

	    java.lang.Byte var0 = new java.lang.Byte((byte)1);
	    java.util.List var1 = java.util.Collections.singletonList((java.lang.Object)var0);
	    java.util.TreeSet var2 = new java.util.TreeSet((java.util.Collection)var1);
	    java.lang.Long var3 = new java.lang.Long(10L);
	    java.lang.Boolean var4 = new java.lang.Boolean(true);
	    java.util.NavigableSet var5 = var2.headSet((java.lang.Object)var3, (boolean)var4);
	    java.util.SortedSet var6 = java.util.Collections.synchronizedSortedSet((java.util.SortedSet)var5);
	    
	    // Checks the contract:  var6.equals(var6)
	    assertTrue("Contract failed: var6.equals(var6)", var6.equals(var6));

	  }
}
